退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:平衡表:一颗明珠
Naves, Guyslain; Spiwack, Arnaud;
机译:珍珠证明-GHC的Mergesort机械化证明
机译:证明珍珠:Dally的形式证明和Seitz的互连网络中无死锁路由的充要条件
机译:Proof Pearl:ACL2中Higman引理的形式证明
机译:连接编译器,证明检查器和基础证明代码的证明。
机译:虚拟现实综合概念概念综合性余额评估和培训动态姿势控制
机译:平衡列表:一个证明珍珠?
机译:资产负债表创建装置和资产负债表创建系统
机译:使用包括材料的涂层胎圈进行的平衡:平衡车辆轮胎,包括由具有高于轮胎材料的第一摩擦功能的第一材料形成的珍珠,由具有功能t Riboelectrica的第二材料形成的永久涂层。
机译:认证系统,设备和记录媒体中的防失败证明列表创建方式
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。